Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
501	Universality for mathematical and physical systems Percy Deift∗ Add to Reading List Source URL: www.icm2006.org Language: English - Date: 2013-10-02 08:04:04 Mathematical physics Spectral theory Lambda calculus Combinatory logic Logic in computer science Eigenvalues and eigenvectors Random matrix Weight Spectrum Algebra Mathematics Linear algebra
502	The Girard-Reynolds Isomorphism1 Philip Wadler Avaya Labs Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-05 10:17:59 Theoretical computer science Type theory Model theory Logic in computer science Dependently typed programming First-order logic Combinatory logic System F Function Mathematical logic Mathematics Lambda calculus
503	The Evolution of Language 2x Add to Reading List Source URL: homepages.inf.ed.ac.uk - Date: 2009-05-24 10:54:04 Software engineering Metaphysicians Rationalists René Descartes 2X Lambda Combinatory logic Fixed-point combinator Lambda calculus Theoretical computer science Philosophy
504	A short introduction to the Lambda Calculus Achim Jung∗ March 18, 2004 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-05-11 14:13:42 Mathematical logic Combinatory logic Fixed-point combinator Simply typed lambda calculus Programming Computable Functions Free variables and bound variables Function Parameter Spectral theory of ordinary differential equations Mathematics Theoretical computer science Lambda calculus
505	[removed]] Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2006-08-16 10:02:07 Lambda calculus Logic in computer science Abstract algebra Operator theory Four-square cipher Vertex operator algebra Mathematics Physics Combinatory logic
506	THE COMPLEXITY OF SATISFIABILITY PROBLEMS Thomas J. Schaefer* Department of Mathematics Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2006-08-30 11:43:07 MAX-3SAT Combinatory logic Mathematics Theoretical computer science Computer programming
507	PDF Document Add to Reading List Source URL: ttic.uchicago.edu Language: English - Date: 2008-02-12 16:30:43 Applied mathematics Type theory Logic in computer science Theory of computation Proof theory Combinatory logic Curry–Howard correspondence Fixed-point combinator Type safety Theoretical computer science Lambda calculus Computer science
508	PDF Document Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2008-05-01 19:55:27 Lambda calculus Computability theory Logic in computer science Model theory Proof theory Combinatory logic Haskell Curry Stephen Cole Kleene Type theory Mathematics Mathematical logic Logic
509	PDF Document Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-01-22 06:37:17 Mathematics Applied mathematics Logic Probability theory Independence Combinatory logic
510	PDF Document Add to Reading List Source URL: www.renyi.hu Language: English - Date: 2008-07-29 12:27:19 Four-square cipher The Alphabet Cipher Mathematics Sperner family Combinatory logic

UPDATE